Nuprl Definition : pair def 13,42

<ab> is Primitive 
latex


Upcore 1, core 1

origin